$\forall$$T$:Type. strong{-}subtype(Void;$T$)